Skip to content

Update AFL++ documentation with bug fixes and improvements#110

Open
dguido wants to merge 3 commits intomainfrom
aflpp-improvements-from-skills-pr15
Open

Update AFL++ documentation with bug fixes and improvements#110
dguido wants to merge 3 commits intomainfrom
aflpp-improvements-from-skills-pr15

Conversation

@dguido
Copy link
Member

@dguido dguido commented Jan 20, 2026

Summary

Carry over bug fixes and improvements from trailofbits/skills PR #15 to the testing-handbook AFL++ documentation.

  • Fix -DNO_MAIN to -DNO_MAIN=1 for correct macro definition
  • Remove redundant -g flags (AFL++ compilers add debug symbols by default)
  • Update Docker image version from 4.09c to 4.35c (Clang 19 & GCC 11)
  • Update LLVM_CONFIG example from llvm-config-14 to llvm-config-18
  • Add note about checking Clang version before installing lld
  • Change seed content from "a" to "aaaa" (4 bytes minimum is more practical)
  • Replace AFL_PIZZA_MODE joke with useful AFL_FAST_CAL example
  • Fix timeout option from -t 10000 to -t 1000 (1s is the default)
  • Fix paper title typo (PAFL++AFL++) and stray markdown formatting
  • Fix "Fuzzing in Depth" URLs (add .md extension)
  • Fix CMake example to use -fsanitize=fuzzer-no-link for compilation
  • Add new CMPLOG section explaining RedQueen path constraint solving
  • Remove outdated legacy Clang mode references

Test plan

  • Verify Hugo builds successfully
  • Review rendered AFL++ page for correct formatting

🤖 Generated with Claude Code

Carry over improvements from trailofbits/skills PR #15:

- Fix -DNO_MAIN to -DNO_MAIN=1 for correct macro definition
- Remove redundant -g flags (AFL++ compilers add debug symbols by default)
- Update Docker image version from 4.09c to 4.35c (Clang 19)
- Update LLVM_CONFIG example from llvm-config-14 to llvm-config-18
- Add note about checking Clang version before installing lld
- Change seed content from "a" to "aaaa" (4 bytes minimum is more practical)
- Replace AFL_PIZZA_MODE joke with useful AFL_FAST_CAL example
- Fix timeout option from -t 10000 to -t 1000 (1s is the default)
- Fix paper title typo (PAFL++ -> AFL++) and stray markdown
- Fix Fuzzing in Depth URLs (add .md extension)
- Fix CMake example to use -fsanitize=fuzzer-no-link for compilation
- Add new CMPLOG section explaining RedQueen path constraint solving
- Remove outdated legacy Clang mode references

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
@github-actions
Copy link

github-actions bot commented Jan 20, 2026

PR Preview Action v1.8.0

🚀 View preview at
https://trailofbits.github.io/testing-handbook-preview/pr-preview/pr-110/

Built to branch gh-pages at 2026-01-20 16:07 UTC.
Preview will be ready when the GitHub Pages deployment is complete.

dguido and others added 2 commits January 20, 2026 10:59
Revert fuzzing_in_depth URLs from .md format back to directory format.
The AFL++ website uses directory-style URLs, not .md file URLs.

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
Replace cloud-init.io with the official ReadTheDocs documentation URL
which doesn't have redirect issues.

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant